Combinatory logic is a notation to eliminate the need for variables in mathematical logic. It was introduced by Moses Sch?nfinkel and Haskell Curry and has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages.
详细百科解释